Classical BI: Its Semantics and Proof Theory
نویسندگان
چکیده
منابع مشابه
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O’Hearn and Pym’s logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have th...
متن کاملProof-theoretic Semantics for Classical Mathematics
The picture of mathematics as being about constructing objects of various sorts and proving the constructed objects equal or unequal is an attractive one, going back at least to Euclid. On this picture, what counts as a mathematical object is specified once and for all by effective rules of construction. In the last century, this picture arose in a richer form with Brouwer’s intuitionism. In hi...
متن کاملAlgebraic Models and Complete Proof Calculi for Classical BI
We consider the classical (propositional) version, CBI, of O’Hearn and Pym’s logic of bunched implications (BI) from a modeland proof-theoretic perspective. We make two main contributions in this paper. Firstly, we present a class of algebraic models for CBI which permit the full range of classical multiplicative connectives to be modelled. Our models can be seen as generalisations of Abelian g...
متن کاملAbstract Normative Systems: Semantics and Proof Theory
Normative Systems: Semantics and Proof Theory Silvano Colombo Tosatto SnT, University of Luxembourg Luxembourg Guido Boella University of Turin Italy Leendert van der Torre University of Luxembourg Luxembourg Serena Villata INRIA France
متن کاملLogic programming : operational semantics and proof theory
Downloading the book in this website lists can give you more advantages. It will show you the best book collections and completed collections. So many books can be found in this website. So, this is not only this logic programming operational semantics and proof theory. However, this book is referred to read because it is an inspiring book to give you more chance to get experiences and also tho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2010
ISSN: 1860-5974
DOI: 10.2168/lmcs-6(3:3)2010